polling.18.jani:model: info: polling.18 is a CTMC model and will be simulated as an MA.
polling.18.jani:variables[3]: info: Expanding variable "a" into 2 locations in automaton "server".
polling.18.jani:variables[4]: info: Expanding variable "s1" into 2 locations in automaton "station1".
polling.18.jani:variables[5]: info: Expanding variable "s2" into 2 locations in automaton "station2".
polling.18.jani:variables[6]: info: Expanding variable "s3" into 2 locations in automaton "station3".
polling.18.jani:variables[7]: info: Expanding variable "s4" into 2 locations in automaton "station4".
polling.18.jani:variables[8]: info: Expanding variable "s5" into 2 locations in automaton "station5".
polling.18.jani:variables[9]: info: Expanding variable "s6" into 2 locations in automaton "station6".
polling.18.jani:variables[10]: info: Expanding variable "s7" into 2 locations in automaton "station7".
polling.18.jani:variables[11]: info: Expanding variable "s8" into 2 locations in automaton "station8".
polling.18.jani:variables[12]: info: Expanding variable "s9" into 2 locations in automaton "station9".
polling.18.jani:variables[13]: info: Expanding variable "s10" into 2 locations in automaton "station10".
polling.18.jani:variables[14]: info: Expanding variable "s11" into 2 locations in automaton "station11".
polling.18.jani:variables[15]: info: Expanding variable "s12" into 2 locations in automaton "station12".
polling.18.jani:variables[16]: info: Expanding variable "s13" into 2 locations in automaton "station13".
polling.18.jani:variables[17]: info: Expanding variable "s14" into 2 locations in automaton "station14".
polling.18.jani:variables[18]: info: Expanding variable "s15" into 2 locations in automaton "station15".
polling.18.jani:variables[19]: info: Expanding variable "s16" into 2 locations in automaton "station16".
polling.18.jani:variables[20]: info: Expanding variable "s17" into 2 locations in automaton "station17".
polling.18.jani:variables[21]: info: Expanding variable "s18" into 2 locations in automaton "station18".
polling.18.jani: info: Using default value of 0.95 for the confidence parameter.
Peak memory usage: 61 MB
Analysis results for polling.18.jani
Experiment T=16.0
Status: Finished
Simulation time: 6.8 s
+ Property Property "s1_before_s2"
Estimated probability: 0.5432727272727272
Runs used: 2750
Run type: MA
Status: Finished
+ Error bounds
Statement: Adaptive: P(error > εp̂) < δ
ε: 0.05
δ: 0.050000000000000044